2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering
Автор:
Marco Bernardo
, Автор:
Luca Padovani
, Автор:
Gianluigi Zavattaro
Категория:
Компьютеры
Размер книги: 5.97 Mb
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор:
Mario Bravetti
, Автор:
Gianluigi Zavattaro
Размер книги: 7.24 Mb
Formal methods for web services advanced lectures, 9, 2009, Bertinoro
Автор:
Marco Bernardo
, Автор:
Luca Padovani
, Автор:
Gianluigi Zavattaro
Размер книги: 8.71 Mb
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Автор:
Doug Lea
, Автор:
Gianluigi Zavattaro
Размер книги: 4.69 Mb
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Автор:
Marco Bernardo
, Автор:
Pierpaolo Degano
, Автор:
Gianluigi Zavattaro
Размер книги: 11.98 Mb
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Автор:
Mario Bravetti
, Автор:
Manuel Núñez
, Автор:
Gianluigi Zavattaro
Размер книги: 5.97 Mb
